/*
 * DeltaNotifier.cpp
 *
 *  Created on: Jun 3, 2010
 *      Author: sdaniele
 */

#include "DeltaNotifier.h"

namespace noti {

bool is_report_producers();

DeltaNotifier::DeltaNotifier(::std::string name, sc_event* event, const sc_clock* clk, bool is_thread)
	:EventUser(sc_module_name(name.c_str()), event, clk, is_thread)
{}

DeltaNotifier::~DeltaNotifier() {}


void DeltaNotifier::do_method_work(){
	EventUser::m_event->notify(SC_ZERO_TIME);
	if(is_report_producers())
			EventUser::print_report();
}

void DeltaNotifier::init_sensitive(){
	sensitive << m_clk.pos();
}

}
